Mach: a system software kernel
نویسندگان
چکیده
for a 16-bit uniprocessor. Under the weight of changing Abstract needs and technology, Unix has been modified to provide a staggering number of different mechanisms for managing obThe Mach operating system can be used as a system software kernel which can support a variety of operating jects and resources. In addition to pipes, Unix versions now system environments. Key elements of the Mach design support facilities such as System V streams, 4.2BSD sockets, which allow it to efficiently support system software include pty’s, various forms of semaphores, shared memory and a integrated virtual memory management and interprocess commind-boggling array of ioctl operations on special files and munication, multiple threads of control within one address devices. The result has been scores of additional system calls space, support for transparent system trap callout and an object programming facility integrated with the Mach IPC and options with less than uniform access to different mechanisms. Mach is currently available both from CMU resources within a single Unix system and within a network of and commercially on a wide range of uniprocessor and mulUnix machines. tiprocessor hardware. The Mach operating system kernel developed at Carnegie Mellon University [1] was designed to operate on both
منابع مشابه
A Model and Prototype of VMS Using the Mach 3.0 Kernel
Digital’s VMS operating system has been a successful software base for our VAX processors since the late 1970’s. Existing operating systems are facing many new requirements and challenges in the 1990’s and beyond. This has led us to investigate new approaches for designing, implementing, and maintaining VMS. One such effort is described in this paper. Using the Mach 3.0 kernel from Carnegie Mel...
متن کاملProviding Policy Control Over Object Operations in a Mach-Based System
In both secure and safety-critical systems it is desirable to have a very clear relationship between the system’s mandatory security policy and its proven operational semantics. This relationship is made clearer if the system architecture provides strong separation between the enforcement mechanisms and the policy decisions, and if the policy decision software is clearly identifiable in the sys...
متن کاملMatching Micro - Kernels to Modern Applicationsusing Fine - Grained Memory
Scalable distributed systems, systems which suuer no degradation as the number of computing nodes becomes larger, require a programming methodology where an application developer may take existing software modules and plug them together to form a new application. To allow mistrusting modules to interact , the underlying kernel support must ooer protection barriers which do not impede performanc...
متن کاملMoving the Default Memory Manager Out of the Mach Kernel
1. Abstract We have implemented a default memory manager for the Mach 3.0 kernel that resides entirely in user space. The default memory manager uses a small set of kernel privileges to lock itself into memory, preventing deadlocks against other Mach system services. An extension to the Mach boot sequence loads both the kernel and user program images at system startup time. The resulting system...
متن کاملMatching micro-kernels to modern applications using fine-grained memory protection
Scalable distributed systems, systems which suffer no degradation as the number of computing nodes becomes larger, require a programming methodology where an application developer may take existing software modules and plug them together to form a new application. To allow mistrusting modules to interact, the underlying kernel support must offer protection barriers which do not impede performan...
متن کامل